IFormel logikI er en grundlæggende, lettilgængelig indføring i klassisk doms- og prædikatslogik beregnet til undervisning på universitetsniveau. Den fokuserer på de semantiske metoder - sandhedstabeller og semantiske træer - frem for bevisteori. Derved giver den et klart og let tilgængeligt overblik over logiske nøglebegreber som gyldighed, formalisering, fortolkning, model og modeksempel. Dens...